msg-spec-loc(snd; i) == l:IdLnk. (l  msg-spec-links(snd))  (source(l) = i) 

latex

---

clarification:

msg-spec-loc(snd; i) == l:IdLnk. (l  msg-spec-links(snd)  IdLnk)  (source(l) = i  Id) 

latex

Definitions	x:A. B(x), P  Q, (x  l), msg-spec-links(snd), IdLnk, s = t, Id, source(l)
FDL editor aliases	msg-spec-loc